$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E. state\_after($e$) $\in$ $x$:Id$\rightarrow$vartype(loc($e$);$x$))